1. ......................
Author: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
76
.
D47
I57
1985
vol
.
1
2. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
3. Advanced concepts for intelligent vision systems :
Author: Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
Classification :
TA1634
4. Advances in bioinformatics and computational biology :
Author: Ronnie Alves (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bioinformatics, Congresses.,Computational biology, Congresses.,Artificial Intelligence.,Computational Biology/Bioinformatics.,Discrete Mathematics in Computer Science.,Numeric Computing.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Bioinformatics.,Computational biology.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Life sciences: general issues.,Mathematical theory of computation.,Software Engineering.
Classification :
QH324
.
2
5. Algebra and Coalgebra in Computer Science :
Author: José Luis Fiadeiro
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Congresses.,Algebra.,Computer science -- Mathematics -- Congresses.
6. Algebra and coalgebra in computer science :
Author: Reiko Heckel, Stefan Milius (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
7. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
Author: Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
2297
8. Algorithmic aspects in information and management :
Author: Shaojie Tang, Ding-Zhu Du, David Woodruff, Sergiy Butenko (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Management science-- Data processing, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer algorithms.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Management science-- Data processing.,Mathematical theory of computation.
Classification :
QA76
.
9
.
A43
9. Algorithms and complexity; new directions and recent results; proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Eletronic digital computers-- Programming-- Congresses,، Computational complexity-- Congresses,، Mathematics-- Data processing-- Congresses
Classification :
QA
76
.
6
.
S9195
10. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
Author: edited by J. F. Traub
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
Classification :
QA
76
.
6
.
S919
1976
11. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
Author: edited by A.P. Ershov and D.E. Knuth
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
Classification :
QA
76
.
L4
v
.
122
12. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses
Classification :
QA
9
.
58
.
A43
1981
13. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
Author: edited by A.P. Ershov and D.E. Knuth
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
122
14. Approximation and online algorithms :
Author: Roberto Solis-Oba, Rudolf Fleischer (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Approximation algorithms, Congresses.,Online algorithms, Congresses.,Algorithms & data structures.,Algorithms.,Computer graphics.,Computer networks.,Computer science-- Mathematics.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Programming-- Algorithms.,Data structures (Computer science),Discrete mathematics.,Graphics programming.,Mathematical theory of computation.,Network hardware.,Numerical analysis.
Classification :
QA76
.
9
.
A43
W36
2017
15. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987
Author: Casimir A. Kulikowski, Huber, Gabriel A. Ferrate
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
C65I46
1987
16. Artificial evolution :
Author: Evelyne Lutton, Pierrick Legrand, Pierre Parrend, Nicolas Monmarché, Marc Schoenauer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
618
17. Artificial intelligence :
Author: Zhi-Hua Zhou, Qiang Yang, Yang Gao, Yu Zheng (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Discrete mathematics.
Classification :
Q334
18. Artificial life and evolutionary computation :
Author: edited by Marcello Pelillo, Irene Poli, Andrea Roli, Roberto Serra, Debora Slanzi, Marco Villani.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Self-organizing systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial life.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Evolutionary computation.,Mathematical theory of computation.,Mathematics-- Logic.,Self-organizing systems.
Classification :
Q325
.
W58
2017
19. Automated technology for verification and analysis :
Author: Shuvendu K. Lahiri, Chao Wang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
A96
20. Bidirectional transformations :
Author: Jeremy Gibbons, Perdita Stevens (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
Classification :
QA601
